$pdf_mode = 1;
$makeindex = 'makeindex -l sicpjs.idx';
